On Rewriting Terms with Strict Functions and Error Propagation

نویسنده

  • Olaf Owe
چکیده

Partial functions play an essential role in the semantics of programs as a means to formalize non-terminating computations and computations terminating in an exception or error situation. However, when properly formalized, partial functions and errors often complicate underlying formalisms and reasoning systems. In this paper we focus on term rewriting systems, and discuss how partial functions and error propagation may be treated. In particular, we will be interested in strict functions because they arise from various implementation techniques. Reasoning with rewrite systems about such functions is nontrivial in the presence of errors due to the non-strict parameter passing semantics inherent in rewrite systems. In particular, rules formalizing strictness easily destroy rewrite rule confluence. We show how to mechanically extend rewrite rule systems so that strict parameter passing is imposed and so that convergent reasoning about terms which may turn out to be erroneous, becomes possible. Integration of non-strict functions will also be possible.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Definedness and Strictness in Generator Inductive Definitions

We consider a generalized form of inductive definitions as first suggested by Guttag. Partial functions may be defined by introducing error values in the right hand sides. For such definitions the intuitive semantics is not consistent with that of unrestricted rewriting. In general, the addition of rewrite rules capturing the intuitively motivated error propagation will destroy confluence of th...

متن کامل

Extending Context-Sensitivity in Term Rewriting

Standard term rewriting is well-known to enjoy nice logical and closure properties. Yet, from an operational and computational point of view, i.e., when using term rewriting as computational model, it is also well-known that for non-terminating systems restricted versions of rewriting obtained by imposing context-sensitivity and/or strategy requirements may lead to better results (e.g., in term...

متن کامل

Estimation of pull-in instability voltage of Euler-Bernoulli micro beam by back propagation artificial neural network

The static pull-in instability of beam-type micro-electromechanical systems is theoretically investigated. Two engineering cases including cantilever and double cantilever micro-beam are considered. Considering the mid-plane stretching as the source of the nonlinearity in the beam behavior, a nonlinear size-dependent Euler-Bernoulli beam model is used based on a modified couple stress theory, c...

متن کامل

Estimation of pull-in instability voltage of Euler-Bernoulli micro beam by back propagation artificial neural network

The static pull-in instability of beam-type micro-electromechanical systems is theoretically investigated. Two engineering cases including cantilever and double cantilever micro-beam are considered. Considering the mid-plane stretching as the source of the nonlinearity in the beam behavior, a nonlinear size-dependent Euler-Bernoulli beam model is used based on a modified couple stress theory, c...

متن کامل

The Effects of Illuminants and Standard Observers ‎Combination on Relationship between Spectrophotometric ‎Error and Colorimetric Inaccuracy

The colorimetric error depends on the spectrophotometric inaccuracy. In this paper, a ‎new method is introduced for determining the relationship between spectrophotometric ‎error and colorimetric inaccuracy. The error propagation in colorimetric parameter ‎calculation is evaluated using a linear relation between variance of reflectance spectra ‎and CIE tristimulus values. This linear formula ca...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2014